First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
861	Why3: Shepherd Your Herd of Provers? Fran¸cois Bobot1,2 , Jean-Christophe Filliˆatre1,2 , Claude March´e2,1 , and Andrei Paskevich1,2 1 Lab. de Recherche en Informatique, Univ Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: proval.lri.fr Language: English - Date: 2011-06-30 04:33:49 Formal methods Model theory Automated theorem proving Functional languages First-order logic Well-formed formula Functional predicate Proof assistant ML Logic Mathematical logic Mathematics
862	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
863	Metamath A Computer Language for Pure Mathematics Norman Megill ∼ Public Domain ∼ Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Formal methods Logical syntax Formal languages Metamath Set theory Automated proof checking Axiom Automated theorem proving First-order logic Logic Mathematics Mathematical logic
864	Natural Logic Larry Moss, Indiana University NASSLLI[removed] Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2014-06-27 10:53:59 Philosophical logic Philosophy of language Gottlob Frege Proof theory Inference First-order logic Semantics Sense and reference Logic Philosophy Meaning
865	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu January 6, 2006 Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Predicate logic Formal methods Models of computation Hoare logic Separation logic Monad First-order logic Mathematical logic Mathematics Logic
866	Towards Type-theoretic Semantics for Transactional Concurrency Aleksandar Nanevski Microsoft Research, Cambridge [removed] Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Program logic Formal methods Models of computation Hoare logic Separation logic Combinatory logic First-order logic Lambda calculus Mathematical logic Theoretical computer science Logic
867	Type-theoretic semantics for transactional concurrency Aleksandar Nanevski Paul Govereau Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Logic in computer science Procedural programming languages Formal methods Models of computation Hoare logic Separation logic First-order logic ALGOL 68 Mathematical logic Logic Theoretical computer science
868	Semantic Intellectual System Development Igor Boyko, Victor Martynov1 Publishing Systems and Solutions Laboratory HP Laboratories Palo Alto HPL[removed]September 10th , 2001* Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 2001-10-05 19:23:35 Model theory Formal languages First-order logic TRIZ Well-formed formula Mereology Interpretation Differential equation Logic Mathematical logic Predicate logic
869	Effective Interactive Proofs for Higher-Order Imperative Programs ∗ Adam Chlipala Gregory Malecha Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Logic in computer science Separation logic Mathematical proof Coq Proof assistant Calculus of constructions ATS Modal logic First-order logic Logic Mathematical logic Theoretical computer science
870	Transcendental syntax 2.0 Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 907, F[removed]Marseille Cedex 09 [removed] February 14, 2012 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2012-02-14 09:23:43 Non-classical logic Model theory Boolean algebra Deontic logic Modal logic Paraconsistent logic Negation Linear logic First-order logic Logic Mathematical logic Philosophical logic

UPDATE